On sequential functionals of type 3
نویسنده
چکیده
We show that the extensional ordering of the sequential functionals of pure type 3, e.g. as defined via game semantics [2, 4], is not cpo-enriched. This shows that this model does not equal Milner’s [9] fully abstract model for PCF .
منابع مشابه
THE SEQUENTIAL FUNCTIONALS OF TYPE ( ι → ι ) n → ι FORM
We prove that the sequential functionals of some fixed types at type level 2, taking finite sequences of unary functions as arguments, form a directed complete partial ordering. This gives a full characterisation of the types for which the partially ordered set of sequential functionals has this property. As a tool, we prove a normal form theorem for the finite sequential functionals of the typ...
متن کاملThe sequential functionals of type $(\iota \rightarrow \iota)^n \rightarrow \iota$ form a dcpo for all $n \in \Bbb N$
We prove that the sequential functionals of some fixed types at type level 2, taking finite sequences of unary functions as arguments, do form a directed complete partial ordering. This gives a full characterisation of for which types the partially ordered set of sequential functionals has this property. As a tool, we prove a normal form theorem for the finite sequential functionals of the type...
متن کاملResource - bounded Continuity and Sequentiality for Type - two Functionals ( Extended
We define notions of resource-bounded continuity and sequentiality for type-two functionals with total inputs, and prove that there are continuous functionals which cannot be efficiently simulated by sequential functionals. We also show that for some naturally-defined classes of continuous functionals, an efficient simulation is possible.
متن کاملA Combinatory Algebra for Sequential Functionals of
It is shown that the type structure of nite-type functionals associated to a combinatory algebra of partial functions from IN to IN (in the same way as the type structure of the countable functionals is associated to the partial combinatory algebra of total functions from IN to IN), is isomorphic to the type structure generated by object N (the at domain on the natural numbers) in Ehrhard's cat...
متن کاملOn a class of systems of n Neumann two-point boundary value Sturm-Liouville type equations
Employing a three critical points theorem, we prove the existence ofmultiple solutions for a class of Neumann two-point boundary valueSturm-Liouville type equations. Using a local minimum theorem fordifferentiable functionals the existence of at least one non-trivialsolution is also ensured.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Mathematical Structures in Computer Science
دوره 16 شماره
صفحات -
تاریخ انتشار 2006